On Repairing Reasoning Reversals via Representational Refinements

Representation is a fluent. A mismatch between the real world and an agent’s representation of it can be signalled by unexpected failures (or successes) of the agent’s reasoning. The ‘real world ’ may include the ontologies of other agents. Such mismatches can be repaired by refining or abstracting an agent’s ontology. These refinements or abstractions may not be limited to changes of belief, but may also change the signature of the agent’s ontology. We describe the implementation and successful evaluation of these ideas in the ORS system. ORS diagnoses failures in plan execution and then repairs the faulty ontologies. Our automated approach to dynamic ontology repair has been designed specifically to address real issues in multi-agent systems, for instance, as envisaged in the Semantic Web

Final Report

The report presents the findings of research commissioned by the Scottish Criminal Cases Review Commission (‘the Commission’) to mark the 10th anniversary of its establishment. The research commenced on 10 July 2008 and will conclude with the submission of a final report to the Commission by 30 April 2009. The research was undertaken by researchers working within the Scottish Centre for Crime and Justice Research, and reviewed the 75 cases referred by the Commission to the High Court of Justiciary sitting as a court of appeal (‘the appeal court’) in the period 1 April 1999 to 31 March 2008. The research aimed to learn more about the references made by the Commission, how its statements of reasons in such cases have been received by the legal profession and the manner in which its grounds of reference have been determined by the court